<html>
<body>
Reports deprecations, which can not be declared by regular tooling.
</body>
</html>